Skip to main content

Microsoft Research Video

More than 1,100 brilliant scientists and engineers push the boundaries of computing in multiple research areas and include contributions to Kinect for Xbox 360, work to develop an HIV vaccine, and advancing education techniques in rural communities.

PART OF
Computers & Technology
More right-solid
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
SHOW DETAILS
up-solid down-solid
eye
Title
Date Archived
Creator
Microsoft Research Video
movies
eye 65
favorite 1
comment 0
With uniprocessor systems running into ILP limits and fundamental VLSI constraints, parallel architectures provide a realistic path towards scalable performance. Nevertheless, shared memory multiprocessors are neither simple to design nor easy to program. Transactional Coherence and Consistency (TCC) is a new model for shared memory systems with the potential to address both issues. TCC relies on user-defined, light-weight transactions as the basic unit of parallel work, communication, memory...
Topics: Microsoft Research, Microsoft Research Video Archive, Jim Larus, Christos Kozyrakis
The Eventual Consistency (EC) approach, which does not restrict concurrent updates to replicas of an object, is essential to scalability of cloud computing. However, reconciling conflicts remains difficult, and published EC approaches are ad-hoc and error-prone; the literature offers little guidance on designing a correct EC system. Our model, Strong Eventual Consistency or SEC, is simple and theoretically sound: conflict freedom ensures safety and liveness despite any number of failures, thus...
Topics: Microsoft Research, Microsoft Research Video Archive, Sebastian Burckhardt, Marc Shapiro